著者

出版社

Amir Rnueli追悼論文集<br>Time for Verification : Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science) 〈Vol. 6200〉
  • 洋書
  • ポイントキャンペーン

Amir Rnueli追悼論文集
Time for Verification : Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science) 〈Vol. 6200〉
 Paperback

Manna, Z. (EDT)/ Peled, D. A. (EDT)

  • Springer(2010/07発売)
  • ご注文いただけません